The spheres of Sol

Let Sol be the three-dimensional solvable Lie group equipped with its standard left-invariant Riemannian metric. We give a precise description of cut locus identity, and maximal domain in algebra on which exponential map is diffeomorphism. As consequence, we prove that metric spheres are topological spheres, characterize their singular points almost exactly.